1. A Distinctive Leadership for a Distinctive Network of Churches? Psychological Type Theory and the Apostolic Networks

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : APOSTOLIC NETWORKS,CLERGY,FRANCIS PSYCHOLOGICAL TYPE SCALES,PENTECOSTAL,PSYCHOLOGICAL TYPE

2. A modern perspective on type theory :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.

رده :
QA9
.
K225
2004

3. A modern perspective on type theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Type theory. ;

4. A transfinite type theory with type variables

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Type theory

رده :
QA
9
.
A64

5. Abstraction and instance: the type-token relation in linguistic theory

پدیدآورنده :

کتابخانه: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)

موضوع : ، Type and token )Linguistics(,، Linguistic analysis )Linguistics(,، Aesthetics

رده :
P
128
.
T9H8
1990

6. Algebraic groups : the theory of group schemes of finite type over a field

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Geometry, Algebraic,، Group theory

رده :
QA
564
.
M55A4

7. An introduction to mathematical logic and type theory :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Type theory.

رده :
QA9
.
B974
2011

8. An introduction to mathematical logic and type theory: to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638
2002

9. An introduction to mathematical logic and type theory : to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638
1986

10. An introduction to mathematical logic and type theory. to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638

11. An introduction to mathematical logic and type theory: to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638

12. An introduction to mathematical logic & type theory:to truth

پدیدآورنده :

کتابخانه: (طهران)

موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY

رده :
QA
9
.
A638

13. Analytic Methods in the Theory of Differential and Pseudo-Differential Equations of Parabolic Type

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Differential equations, Partial.,Mathematical physics.,Mathematics.,Operator theory.

14. Analytic methods in the theory of differential and pseudo-differential equations of parabolic type

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : ، Difference equations,، Difference operators,، Finite differences,، Numerical analysis

رده :
QA
431
.
E34
2004

15. Basic simple type theory

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، programing languages)electronic computers(,، type theory

رده :
QA
76
.
7
.
H55
1996

16. Categorical logic and type theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Type theory. ; Categories (Mathematics) ;

17. Categorical logic and type theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Type theory,، Categories )Mathematics(

رده :
QA
9
.
J22

18. Computation and reasoning : a type theory for computer science

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computer science

رده :
QA
76
.
L79
1994

19. Degree theory for operators of monotone type and nonlinear elliptic equations with inequality constraints

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Differential equations, Elliptic,، Differential equations, Nonlinear,، Variational inequalities )Mathematics(,، Topological degree,، Monotone operators

رده :
QA
3
.
A475
no
.
915

20. Degree theory for operators of monotone type and nonlinear elliptic equations with inequality constraints

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Differential equations, Elliptic,، Differential equations, Nonlinear,، Variational inequalities )Mathematics(,، Topological degree,، Monotone operators

رده :
QA
377
.
A529
2008